# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q//;
$cached_env_img{$key} = q||;
$key = q/cal{F};MSF=1.6;AAT/;
$cached_env_img{$key} = q||;
$key = q/{figure*}{{centerline{psfig{file=figsslashsmarthier.ps,height=3.5in}}{}{{{bigskip{{hrule{{figure*};FSF=1.6;AAT/;
$cached_env_img{$key} = q||;